| Name | Version | Summary | date |
| alloy-lang |
0.1.0 |
A general-purpose programming language designed for AI agents |
2025-07-19 22:33:13 |
| jaclang |
0.8.4 |
Jac is a unique and powerful programming language that runs on top of Python, offering an unprecedented level of intelligence and intuitive understanding. |
2025-07-16 03:39:41 |
| japy-lang |
0.2.0 |
JaPy is a Python dialect in Japanese. |
2025-07-13 12:02:19 |
| TinyLean |
0.1.0 |
Tiny theorem prover with syntax like Lean 4 |
2025-02-08 15:09:37 |
| opshin |
0.24.0 |
A simple pythonic programming language for Smart Contracts on Cardano |
2024-10-31 20:58:58 |
| uplc |
1.0.7 |
Python implementation of untyped plutus language core |
2024-10-08 15:00:30 |